It is important to note that the temporal operator as described in ECA rule is a more general concept that can apply to conditions within the other sub types of rule.
一定要注意一点:eca规则中介绍的时间操作符是一个通用的概念,可以应用于其他规则子类型中的条件。
Open temporal logic introduces new path operators to specify internal parts and external parts, and introduces one new temporal operator to ensure some invariants during some external actions.
引入新的时态算子,描述一些系统状态在外部动作影响下的某种不变性。
应用推荐